#!/bin/sh
#
# pull -- pull the docker image from docker hub
#

TOP_DIR=$(cd $(dirname $0)/../../ && pwd)
. $TOP_DIR/tools/docker/config $* >/dev/null

echo "LOG: pulling repository: $LAB_NAME"

cd $LAB_DIR/$LAB_NAME && git pull -v
